Effective Use of Metacomputation for Structuring Operating Systems
نویسندگان
چکیده
To respond to continuing hardware advances and changing application demands, operating systems must be flexible. Recently developed metacomputation techniques can provide the desired flexibility. The π architecture investigates the use of metaobject protocols to tailor subsystems of operating systems. It allows effective utilization of events and resources through interfaces for tailorable object implementations. Its main contributions are flexible event management, scope reification and change management. The challenges and possible solutions are described in the context of a distributed shared object subsystem.
منابع مشابه
Monitoring and controlling remote parallel computations using Schooner
Scientific visualization systems such as AVS have the potential to help users of parallel systems monitor and control their computations. Unfortunately, the machines most suitable for visualization systems are not the parallel systems on which the computation executes, often leading to the use of two distinct machines and the viewing of results only after the computation has completed. Here, an...
متن کاملA Metacomputation Toolkit for a Subset of F] and Its Application to Software Testing Towards Metacomputation for the Masses
We present an on-going experiment to develop a practical metacomputation toolkit for F#. There are – apart from the better known supercompilation – other mature and potentially useful methods stemming from metacomputation theory: program inversion and tabulation, neighborhood analysis. Although implementations of these methods have existed since many years, they are typically experimental tools...
متن کاملThe Basics of Metacomputation
When we use the Refal machine for computation, we load a program into it, put the expression to evaluate into the view-field, and switch the machine on. The Refal machine works on its own; we do not interfere with its operation. After a while it comes up (or does not come up) with the desired (or not exactly desired) result. Metacomputation is an operation mode of the Refal machine where it is ...
متن کاملA Roadmap to Metacomputation by Supercompilation
This paper gives a gentle introduction to Turchin's super-compilation and its applications in metacomputation with an emphasis on recent developments. First, a complete supercompiler, including positive driving and generalization, is deened for a functional language and illustrated with examples. Then a taxonomy of related transformers is given and compared to the supercompiler. Finally, we put...
متن کاملInterconnecting Interactive and Remote Parallel Components Using Schooner
In scientific applications where parallel computation is used to model physical processes, enhancing the user’s ability to monitor and control programs executing on remote parallel machines can improve the overall experimental process. Here, a simple approach to providing such facilities is presented in which a scientific visualization system and a remote parallel computation are incorporated i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993